{ .x = REAL(FN32(0x1.b38fb8p-127), FN64(0x1.b38fb9daa78e4p-127), FN80(0x1.b38fb9daa78e44acp-127), FN128(0x1.b38fb9daa78e44ab2dcf7a6b1921p-127)), .y = REAL(FN32(-0x1.5dfe3p6), FN64(-0x1.5dfe30ee7550ap6), FN80(-0x1.5dfe30ee755098b6p6), FN128(-0x1.5dfe30ee755098b66c8e3ca756b5p6)) },
{ .x = REAL(FN32(0x1.46abccp-125), FN64(0x1.46abcb63fdaabp-125), FN80(0x1.46abcb63fdaab38p-125), FN128(0x1.46abcb63fdaab380625b9bd052d8p-125)), .y = REAL(FN32(-0x1.599936p6), FN64(-0x1.5999364fca0fdp6), FN80(-0x1.5999364fca0fd61p6), FN128(-0x1.5999364fca0fd61091fdd67202ap6)) },
{ .x = REAL(FN32(0x1.ea01b2p-124), FN64(0x1.ea01b115fc801p-124), FN80(0x1.ea01b115fc800d4p-124), FN128(0x1.ea01b115fc800d40938969b87c45p-124)), .y = REAL(FN32(-0x1.55343cp6), FN64(-0x1.55343bb11ecf1p6), FN80(-0x1.55343bb11ecf136ap6), FN128(-0x1.55343bb11ecf136ab76d703cae8bp6)) },
{ .x = REAL(FN32(0x1.6f8144p-122), FN64(0x1.6f8144d07d601p-122), FN80(0x1.6f8144d07d6009fp-122), FN128(0x1.6f8144d07d6009f06ea70f4a5d33p-122)), .y = REAL(FN32(-0x1.50cf42p6), FN64(-0x1.50cf4112738e5p6), FN80(-0x1.50cf4112738e50c4p6), FN128(-0x1.50cf4112738e50c4dcdd0a075a76p6)) },
{ .x = REAL(FN32(0x1.13a0f4p-120), FN64(0x1.13a0f39c5e08p-120), FN80(0x1.13a0f39c5e080774p-120), FN128(0x1.13a0f39c5e08077452fd4b77c5e7p-120)), .y = REAL(FN32(-0x1.4c6a46p6), FN64(-0x1.4c6a4673c84d9p6), FN80(-0x1.4c6a4673c84d8e2p6), FN128(-0x1.4c6a4673c84d8e1f024ca3d20661p6)) },
{ .x = REAL(FN32(0x1.9d716ep-119), FN64(0x1.9d716d6a8d0c1p-119), FN80(0x1.9d716d6a8d0c0b2ep-119), FN128(0x1.9d716d6a8d0c0b2e7c7bf133a8dap-119)), .y = REAL(FN32(-0x1.48054cp6), FN64(-0x1.48054bd51d0cdp6), FN80(-0x1.48054bd51d0ccb7ap6), FN128(-0x1.48054bd51d0ccb7927bc3d9cb24dp6)) },
{ .x = REAL(FN32(0x1.361512p-117), FN64(0x1.3615120fe9c91p-117), FN80(0x1.3615120fe9c90862p-117), FN128(0x1.3615120fe9c90862dd5cf4e6bea3p-117)), .y = REAL(FN32(-0x1.43a052p6), FN64(-0x1.43a0513671cc1p6), FN80(-0x1.43a0513671cc08d4p6), FN128(-0x1.43a0513671cc08d34d2bd7675e38p6)) },
{ .x = REAL(FN32(0x1.d11f9cp-116), FN64(0x1.d11f9b17dead9p-116), FN80(0x1.d11f9b17dead8c94p-116), FN128(0x1.d11f9b17dead8c944c0b6f5a1df5p-116)), .y = REAL(FN32(-0x1.3f3b56p6), FN64(-0x1.3f3b5697c68b4p6), FN80(-0x1.3f3b5697c68b462ep6), FN128(-0x1.3f3b5697c68b462d729b71320a23p6)) },
{ .x = REAL(FN32(0x1.5cd7b4p-114), FN64(0x1.5cd7b451e7023p-114), FN80(0x1.5cd7b451e702297p-114), FN128(0x1.5cd7b451e702296f390893839678p-114)), .y = REAL(FN32(-0x1.3ad65cp6), FN64(-0x1.3ad65bf91b4a8p6), FN80(-0x1.3ad65bf91b4a8388p6), FN128(-0x1.3ad65bf91b4a8387980b0afcb60ep6)) },
{ .x = REAL(FN32(0x1.05a1c8p-112), FN64(0x1.05a1c73d6d41ap-112), FN80(0x1.05a1c73d6d419f14p-112), FN128(0x1.05a1c73d6d419f136ac66ea2b0dap-112)), .y = REAL(FN32(-0x1.367162p6), FN64(-0x1.3671615a7009cp6), FN80(-0x1.3671615a7009c0e2p6), FN128(-0x1.3671615a7009c0e1bd7aa4c761f9p6)) },
{ .x = REAL(FN32(0x1.8872aap-111), FN64(0x1.8872aadc23e27p-111), FN80(0x1.8872aadc23e26e9ep-111), FN128(0x1.8872aadc23e26e9d2029a5f40947p-111)), .y = REAL(FN32(-0x1.320c66p6), FN64(-0x1.320c66bbc4c9p6), FN80(-0x1.320c66bbc4c8fe3cp6), FN128(-0x1.320c66bbc4c8fe3be2ea3e920de4p6)) },
{ .x = REAL(FN32(0x1.2656p-109), FN64(0x1.265600251ae9dp-109), FN80(0x1.265600251ae9d2f6p-109), FN128(0x1.265600251ae9d2f5d81f3c7706f5p-109)), .y = REAL(FN32(-0x1.2da76cp6), FN64(-0x1.2da76c1d19884p6), FN80(-0x1.2da76c1d19883b96p6), FN128(-0x1.2da76c1d19883b960859d85cb9cfp6)) },
{ .x = REAL(FN32(0x1.b981p-108), FN64(0x1.b9810037a85ecp-108), FN80(0x1.b9810037a85ebc7p-108), FN128(0x1.b9810037a85ebc70c42edab28a7p-108)), .y = REAL(FN32(-0x1.294272p6), FN64(-0x1.2942717e6e478p6), FN80(-0x1.2942717e6e4778fp6), FN128(-0x1.2942717e6e4778f02dc9722765bap6)) },
{ .x = REAL(FN32(0x1.4b20cp-106), FN64(0x1.4b20c029be471p-106), FN80(0x1.4b20c029be470d54p-106), FN128(0x1.4b20c029be470d5493232405e7d4p-106)), .y = REAL(FN32(-0x1.24dd76p6), FN64(-0x1.24dd76dfc306bp6), FN80(-0x1.24dd76dfc306b64ap6), FN128(-0x1.24dd76dfc306b64a53390bf211a5p6)) },
{ .x = REAL(FN32(0x1.f0b12p-105), FN64(0x1.f0b1203e9d6a9p-105), FN80(0x1.f0b1203e9d6a93fep-105), FN128(0x1.f0b1203e9d6a93fedcb4b608dbbep-105)), .y = REAL(FN32(-0x1.20787cp6), FN64(-0x1.20787c4117c5fp6), FN80(-0x1.20787c4117c5f3a4p6), FN128(-0x1.20787c4117c5f3a478a8a5bcbd9p6)) },
{ .x = REAL(FN32(0x1.7484d8p-103), FN64(0x1.7484d82ef60ffp-103), FN80(0x1.7484d82ef60fefp-103), FN128(0x1.7484d82ef60feeff25878886a4cep-103)), .y = REAL(FN32(-0x1.1c1382p6), FN64(-0x1.1c1381a26c853p6), FN80(-0x1.1c1381a26c8530fep6), FN128(-0x1.1c1381a26c8530fe9e183f87697bp6)) },
{ .x = REAL(FN32(0x1.1763a2p-101), FN64(0x1.1763a223388bfp-101), FN80(0x1.1763a223388bf34p-101), FN128(0x1.1763a223388bf33f5c25a664fb9bp-101)), .y = REAL(FN32(-0x1.17ae88p6), FN64(-0x1.17ae8703c1447p6), FN80(-0x1.17ae8703c1446e58p6), FN128(-0x1.17ae8703c1446e58c387d9521566p6)) },
{ .x = REAL(FN32(0x1.a31574p-100), FN64(0x1.a3157334d4d1fp-100), FN80(0x1.a3157334d4d1ecep-100), FN128(0x1.a3157334d4d1ecdf0a3879977968p-100)), .y = REAL(FN32(-0x1.13498cp6), FN64(-0x1.13498c651603bp6), FN80(-0x1.13498c651603abb2p6), FN128(-0x1.13498c651603abb2e8f7731cc151p6)) },
{ .x = REAL(FN32(0x1.3a5016p-98), FN64(0x1.3a5016679f9d7p-98), FN80(0x1.3a5016679f9d71a8p-98), FN128(0x1.3a5016679f9d71a747aa5b319b0ep-98)), .y = REAL(FN32(-0x1.0ee492p6), FN64(-0x1.0ee491c66ac2fp6), FN80(-0x1.0ee491c66ac2e90ep6), FN128(-0x1.0ee491c66ac2e90d0e670ce76d3cp6)) },
{ .x = REAL(FN32(0x1.d77822p-97), FN64(0x1.d778219b6f6c3p-97), FN80(0x1.d778219b6f6c2a7ap-97), FN128(0x1.d778219b6f6c2a7aeb7f88ca6895p-97)), .y = REAL(FN32(-0x1.0a7f98p6), FN64(-0x1.0a7f9727bf822p6), FN80(-0x1.0a7f9727bf822668p6), FN128(-0x1.0a7f9727bf82266733d6a6b21928p6)) },
{ .x = REAL(FN32(0x1.619a1ap-95), FN64(0x1.619a193493912p-95), FN80(0x1.619a193493911fdcp-95), FN128(0x1.619a193493911fdc309fa697ce7p-95)), .y = REAL(FN32(-0x1.061a9cp6), FN64(-0x1.061a9c8914416p6), FN80(-0x1.061a9c89144163c2p6), FN128(-0x1.061a9c89144163c15946407cc513p6)) },
{ .x = REAL(FN32(0x1.093392p-93), FN64(0x1.093392e76eacdp-93), FN80(0x1.093392e76eacd7e6p-93), FN128(0x1.093392e76eacd7e52477bcf1dad4p-93)), .y = REAL(FN32(-0x1.01b5a2p6), FN64(-0x1.01b5a1ea6900ap6), FN80(-0x1.01b5a1ea6900a11cp6), FN128(-0x1.01b5a1ea6900a11b7eb5da4770fep6)) },
{ .x = REAL(FN32(0x1.8dcd5cp-92), FN64(0x1.8dcd5c5b26034p-92), FN80(0x1.8dcd5c5b260343d8p-92), FN128(0x1.8dcd5c5b260343d7b6b39b6ac83ep-92)), .y = REAL(FN32(-0x1.faa14ep5), FN64(-0x1.faa14e977b7fcp5), FN80(-0x1.faa14e977b7fbcecp5), FN128(-0x1.faa14e977b7fbceb484ae82439d2p5)) },
{ .x = REAL(FN32(0x1.2a5a06p-90), FN64(0x1.2a5a05445c827p-90), FN80(0x1.2a5a05445c8272e2p-90), FN128(0x1.2a5a05445c8272e1c906b490162ep-90)), .y = REAL(FN32(-0x1.f1d75ap5), FN64(-0x1.f1d7595a24fe3p5), FN80(-0x1.f1d7595a24fe37ap5), FN128(-0x1.f1d7595a24fe379f932a1bb991a8p5)) },
{ .x = REAL(FN32(0x1.bf8708p-89), FN64(0x1.bf8707e68ac3bp-89), FN80(0x1.bf8707e68ac3ac52p-89), FN128(0x1.bf8707e68ac3ac52ad8a0ed82145p-89)), .y = REAL(FN32(-0x1.e90d64p5), FN64(-0x1.e90d641cce7cbp5), FN80(-0x1.e90d641cce7cb254p5), FN128(-0x1.e90d641cce7cb253de094f4ee97ep5)) },
{ .x = REAL(FN32(0x1.4fa546p-87), FN64(0x1.4fa545ece812cp-87), FN80(0x1.4fa545ece812c13ep-87), FN128(0x1.4fa545ece812c13e02278b2218f4p-87)), .y = REAL(FN32(-0x1.e0436ep5), FN64(-0x1.e0436edf77fb3p5), FN80(-0x1.e0436edf77fb2d08p5), FN128(-0x1.e0436edf77fb2d0828e882e44154p5)) },
{ .x = REAL(FN32(0x1.f777e8p-86), FN64(0x1.f777e8e35c1c2p-86), FN80(0x1.f777e8e35c1c21dep-86), FN128(0x1.f777e8e35c1c21dd033b50b3256ep-86)), .y = REAL(FN32(-0x1.d7797ap5), FN64(-0x1.d77979a22179ap5), FN80(-0x1.d77979a22179a7bcp5), FN128(-0x1.d77979a22179a7bc73c7b679992ap5)) },
{ .x = REAL(FN32(0x1.7999eep-84), FN64(0x1.7999eeaa85152p-84), FN80(0x1.7999eeaa85151966p-84), FN128(0x1.7999eeaa85151965c26c7c865c13p-84)), .y = REAL(FN32(-0x1.ceaf84p5), FN64(-0x1.ceaf8464caf82p5), FN80(-0x1.ceaf8464caf8227p5), FN128(-0x1.ceaf8464caf82270bea6ea0ef1p5)) },
{ .x = REAL(FN32(0x1.1b3372p-82), FN64(0x1.1b3372ffe3cfdp-82), FN80(0x1.1b3372ffe3cfd30cp-82), FN128(0x1.1b3372ffe3cfd30c51d15d64c50ep-82)), .y = REAL(FN32(-0x1.c5e59p5), FN64(-0x1.c5e58f277476ap5), FN80(-0x1.c5e58f2774769d26p5), FN128(-0x1.c5e58f2774769d2509861da448d6p5)) },
{ .x = REAL(FN32(0x1.a8cd2cp-81), FN64(0x1.a8cd2c7fd5b7cp-81), FN80(0x1.a8cd2c7fd5b7bc92p-81), FN128(0x1.a8cd2c7fd5b7bc927aba0c172795p-81)), .y = REAL(FN32(-0x1.bd1b9ap5), FN64(-0x1.bd1b99ea1df51p5), FN80(-0x1.bd1b99ea1df517dap5), FN128(-0x1.bd1b99ea1df517d954655139a0adp5)) },
{ .x = REAL(FN32(0x1.3e99e2p-79), FN64(0x1.3e99e15fe049dp-79), FN80(0x1.3e99e15fe049cd6ep-79), FN128(0x1.3e99e15fe049cd6ddc0b89115dbp-79)), .y = REAL(FN32(-0x1.b451a4p5), FN64(-0x1.b451a4acc7739p5), FN80(-0x1.b451a4acc773928ep5), FN128(-0x1.b451a4acc773928d9f4484cef883p5)) },
{ .x = REAL(FN32(0x1.dde6d2p-78), FN64(0x1.dde6d20fd06ebp-78), FN80(0x1.dde6d20fd06eb424p-78), FN128(0x1.dde6d20fd06eb424ca114d9a0c88p-78)), .y = REAL(FN32(-0x1.ab87bp5), FN64(-0x1.ab87af6f70f21p5), FN80(-0x1.ab87af6f70f20d42p5), FN128(-0x1.ab87af6f70f20d41ea23b8645059p5)) },
{ .x = REAL(FN32(0x1.666d1ep-76), FN64(0x1.666d1d8bdc53p-76), FN80(0x1.666d1d8bdc53071cp-76), FN128(0x1.666d1d8bdc53071b978cfa338966p-76)), .y = REAL(FN32(-0x1.a2bdbap5), FN64(-0x1.a2bdba321a709p5), FN80(-0x1.a2bdba321a7087f6p5), FN128(-0x1.a2bdba321a7087f63502ebf9a82fp5)) },
{ .x = REAL(FN32(0x1.0cd1d6p-74), FN64(0x1.0cd1d628e53e4p-74), FN80(0x1.0cd1d628e53e4554p-74), FN128(0x1.0cd1d628e53e4554b1a9bba6a70cp-74)), .y = REAL(FN32(-0x1.99f3c4p5), FN64(-0x1.99f3c4f4c3efp5), FN80(-0x1.99f3c4f4c3ef02aap5), FN128(-0x1.99f3c4f4c3ef02aa7fe21f8f0005p5)) },
{ .x = REAL(FN32(0x1.933ac2p-73), FN64(0x1.933ac13d57dd6p-73), FN80(0x1.933ac13d57dd68p-73), FN128(0x1.933ac13d57dd67ff0a7e9979fa92p-73)), .y = REAL(FN32(-0x1.9129dp5), FN64(-0x1.9129cfb76d6d8p5), FN80(-0x1.9129cfb76d6d7d5ep5), FN128(-0x1.9129cfb76d6d7d5ecac1532457dbp5)) },
{ .x = REAL(FN32(0x1.2e6c1p-71), FN64(0x1.2e6c10ee01e61p-71), FN80(0x1.2e6c10ee01e60ep-71), FN128(0x1.2e6c10ee01e60dff47def31b7beep-71)), .y = REAL(FN32(-0x1.885fdap5), FN64(-0x1.885fda7a16ecp5), FN80(-0x1.885fda7a16ebf814p5), FN128(-0x1.885fda7a16ebf81315a086b9afb1p5)) },
{ .x = REAL(FN32(0x1.c5a21ap-70), FN64(0x1.c5a2196502d91p-70), FN80(0x1.c5a2196502d914fep-70), FN128(0x1.c5a2196502d914feebce6ca939e5p-70)), .y = REAL(FN32(-0x1.7f95e6p5), FN64(-0x1.7f95e53cc06a7p5), FN80(-0x1.7f95e53cc06a72c8p5), FN128(-0x1.7f95e53cc06a72c7607fba4f0788p5)) },
{ .x = REAL(FN32(0x1.543994p-68), FN64(0x1.5439930bc222dp-68), FN80(0x1.5439930bc222cfcp-68), FN128(0x1.5439930bc222cfbf30dad17eeb6cp-68)), .y = REAL(FN32(-0x1.76cbfp5), FN64(-0x1.76cbefff69e8fp5), FN80(-0x1.76cbefff69e8ed7cp5), FN128(-0x1.76cbefff69e8ed7bab5eede45f5ep5)) },
{ .x = REAL(FN32(0x1.fe565cp-67), FN64(0x1.fe565c91a3343p-67), FN80(0x1.fe565c91a334379ep-67), FN128(0x1.fe565c91a334379ec9483a3e6121p-67)), .y = REAL(FN32(-0x1.6e01fap5), FN64(-0x1.6e01fac213677p5), FN80(-0x1.6e01fac21367683p5), FN128(-0x1.6e01fac21367682ff63e2179b734p5)) },
{ .x = REAL(FN32(0x1.7ec0c6p-65), FN64(0x1.7ec0c56d3a673p-65), FN80(0x1.7ec0c56d3a6729b8p-65), FN128(0x1.7ec0c56d3a6729b716f62baec8d9p-65)), .y = REAL(FN32(-0x1.653806p5), FN64(-0x1.65380584bce5ep5), FN80(-0x1.65380584bce5e2e4p5), FN128(-0x1.65380584bce5e2e4411d550f0f0ap5)) },
{ .x = REAL(FN32(0x1.1f1094p-63), FN64(0x1.1f109411ebcd6p-63), FN80(0x1.1f109411ebcd5f4ap-63), FN128(0x1.1f109411ebcd5f495138a0c316a3p-63)), .y = REAL(FN32(-0x1.5c6e1p5), FN64(-0x1.5c6e104766646p5), FN80(-0x1.5c6e104766645d98p5), FN128(-0x1.5c6e104766645d988bfc88a466ep5)) },
{ .x = REAL(FN32(0x1.ae98dep-62), FN64(0x1.ae98de1ae1b41p-62), FN80(0x1.ae98de1ae1b40eeep-62), FN128(0x1.ae98de1ae1b40eedf9d4f124a1f4p-62)), .y = REAL(FN32(-0x1.53a41cp5), FN64(-0x1.53a41b0a0fe2ep5), FN80(-0x1.53a41b0a0fe2d84cp5), FN128(-0x1.53a41b0a0fe2d84cd6dbbc39beb6p5)) },
{ .x = REAL(FN32(0x1.42f2a6p-60), FN64(0x1.42f2a69429471p-60), FN80(0x1.42f2a69429470b32p-60), FN128(0x1.42f2a69429470b327b5fb4db7977p-60)), .y = REAL(FN32(-0x1.4ada26p5), FN64(-0x1.4ada25ccb9615p5), FN80(-0x1.4ada25ccb9615302p5), FN128(-0x1.4ada25ccb961530121baefcf168cp5)) },
{ .x = REAL(FN32(0x1.e46bfap-59), FN64(0x1.e46bf9de3dea9p-59), FN80(0x1.e46bf9de3dea90ccp-59), FN128(0x1.e46bf9de3dea90cbb90f8f493633p-59)), .y = REAL(FN32(-0x1.42103p5), FN64(-0x1.4210308f62dfdp5), FN80(-0x1.4210308f62dfcdb6p5), FN128(-0x1.4210308f62dfcdb56c9a23646e62p5)) },
{ .x = REAL(FN32(0x1.6b50fcp-57), FN64(0x1.6b50fb66ae6ffp-57), FN80(0x1.6b50fb66ae6fec98p-57), FN128(0x1.6b50fb66ae6fec98cacbab76e8a6p-57)), .y = REAL(FN32(-0x1.39463cp5), FN64(-0x1.39463b520c5e5p5), FN80(-0x1.39463b520c5e486ap5), FN128(-0x1.39463b520c5e4869b77956f9c639p5)) },
{ .x = REAL(FN32(0x1.107cbcp-55), FN64(0x1.107cbc8d02d3fp-55), FN80(0x1.107cbc8d02d3f172p-55), FN128(0x1.107cbc8d02d3f1729818c0992e7cp-55)), .y = REAL(FN32(-0x1.307c46p5), FN64(-0x1.307c4614b5dccp5), FN80(-0x1.307c4614b5dcc31ep5), FN128(-0x1.307c4614b5dcc31e02588a8f1e0fp5)) },
{ .x = REAL(FN32(0x1.98bb1ap-54), FN64(0x1.98bb1ad3843dfp-54), FN80(0x1.98bb1ad3843dea2cp-54), FN128(0x1.98bb1ad3843dea2be42520e5c5bbp-54)), .y = REAL(FN32(-0x1.27b25p5), FN64(-0x1.27b250d75f5b4p5), FN80(-0x1.27b250d75f5b3dd2p5), FN128(-0x1.27b250d75f5b3dd24d37be2475e5p5)) },
{ .x = REAL(FN32(0x1.328c54p-52), FN64(0x1.328c541ea32e7p-52), FN80(0x1.328c541ea32e6fap-52), FN128(0x1.328c541ea32e6fa0eb1bd8ac544cp-52)), .y = REAL(FN32(-0x1.1ee85cp5), FN64(-0x1.1ee85b9a08d9cp5), FN80(-0x1.1ee85b9a08d9b886p5), FN128(-0x1.1ee85b9a08d9b8869816f1b9cdbbp5)) },
{ .x = REAL(FN32(0x1.cbd27ep-51), FN64(0x1.cbd27e2df4c5ap-51), FN80(0x1.cbd27e2df4c5a772p-51), FN128(0x1.cbd27e2df4c5a77160a9c5027e72p-51)), .y = REAL(FN32(-0x1.161e66p5), FN64(-0x1.161e665cb2583p5), FN80(-0x1.161e665cb258333ap5), FN128(-0x1.161e665cb258333ae2f6254f2591p5)) },
{ .x = REAL(FN32(0x1.58dddep-49), FN64(0x1.58dddea277944p-49), FN80(0x1.58dddea277943d96p-49), FN128(0x1.58dddea277943d95087f53c1ded6p-49)), .y = REAL(FN32(-0x1.0d5472p5), FN64(-0x1.0d54711f5bd6bp5), FN80(-0x1.0d54711f5bd6adfp5), FN128(-0x1.0d54711f5bd6adef2dd558e47d67p5)) },
{ .x = REAL(FN32(0x1.02a666p-47), FN64(0x1.02a666f9d9af3p-47), FN80(0x1.02a666f9d9af2e3p-47), FN128(0x1.02a666f9d9af2e2fc65f7ed1672p-47)), .y = REAL(FN32(-0x1.048a7cp5), FN64(-0x1.048a7be205553p5), FN80(-0x1.048a7be2055528a4p5), FN128(-0x1.048a7be2055528a378b48c79d53dp5)) },
{ .x = REAL(FN32(0x1.83f99ap-46), FN64(0x1.83f99a76c686cp-46), FN80(0x1.83f99a76c686c548p-46), FN128(0x1.83f99a76c686c547a98f3e3a1abp-46)), .y = REAL(FN32(-0x1.f7810ep4), FN64(-0x1.f7810d495da74p4), FN80(-0x1.f7810d495da746bp4), FN128(-0x1.f7810d495da746af8727801e5a27p4)) },
{ .x = REAL(FN32(0x1.22fb34p-44), FN64(0x1.22fb33d914e51p-44), FN80(0x1.22fb33d914e513f6p-44), FN128(0x1.22fb33d914e513f5bf2b6eab9404p-44)), .y = REAL(FN32(-0x1.e5ed22p4), FN64(-0x1.e5ed22ceb0a44p4), FN80(-0x1.e5ed22ceb0a43c18p4), FN128(-0x1.e5ed22ceb0a43c181ce5e74909d4p4)) },
{ .x = REAL(FN32(0x1.b478cep-43), FN64(0x1.b478cdc59f57ap-43), FN80(0x1.b478cdc59f579dfp-43), FN128(0x1.b478cdc59f579df09ec126015e06p-43)), .y = REAL(FN32(-0x1.d45938p4), FN64(-0x1.d459385403a13p4), FN80(-0x1.d459385403a1318p4), FN128(-0x1.d459385403a13180b2a44e73b98p4)) },
{ .x = REAL(FN32(0x1.475a9ap-41), FN64(0x1.475a9a543781bp-41), FN80(0x1.475a9a543781b674p-41), FN128(0x1.475a9a543781b6747710dc810685p-41)), .y = REAL(FN32(-0x1.c2c54ep4), FN64(-0x1.c2c54dd9569e2p4), FN80(-0x1.c2c54dd9569e26eap4), FN128(-0x1.c2c54dd9569e26e94862b59e692cp4)) },
{ .x = REAL(FN32(0x1.eb07e8p-40), FN64(0x1.eb07e77e53429p-40), FN80(0x1.eb07e77e534291aep-40), FN128(0x1.eb07e77e534291aeb2994ac189c7p-40)), .y = REAL(FN32(-0x1.b13164p4), FN64(-0x1.b131635ea99b2p4), FN80(-0x1.b131635ea99b1c52p4), FN128(-0x1.b131635ea99b1c51de211cc918d8p4)) },
{ .x = REAL(FN32(0x1.7045eep-38), FN64(0x1.7045ed9ebe71fp-38), FN80(0x1.7045ed9ebe71ed44p-38), FN128(0x1.7045ed9ebe71ed4305f2f8112755p-38)), .y = REAL(FN32(-0x1.9f9d78p4), FN64(-0x1.9f9d78e3fc981p4), FN80(-0x1.9f9d78e3fc9811bap4), FN128(-0x1.9f9d78e3fc9811ba73df83f3c885p4)) },
{ .x = REAL(FN32(0x1.143472p-36), FN64(0x1.143472370ed57p-36), FN80(0x1.143472370ed571f2p-36), FN128(0x1.143472370ed571f244763a0cdd8p-36)), .y = REAL(FN32(-0x1.8e098ep4), FN64(-0x1.8e098e694f95p4), FN80(-0x1.8e098e694f950724p4), FN128(-0x1.8e098e694f950723099deb1e7831p4)) },
{ .x = REAL(FN32(0x1.9e4eacp-35), FN64(0x1.9e4eab5296403p-35), FN80(0x1.9e4eab5296402aecp-35), FN128(0x1.9e4eab5296402aeb66b157134c4p-35)), .y = REAL(FN32(-0x1.7c75a4p4), FN64(-0x1.7c75a3eea292p4), FN80(-0x1.7c75a3eea291fc8cp4), FN128(-0x1.7c75a3eea291fc8b9f5c524927ddp4)) },
{ .x = REAL(FN32(0x1.36bbp-33), FN64(0x1.36bb007df0b02p-33), FN80(0x1.36bb007df0b0203p-33), FN128(0x1.36bb007df0b020308d05014e793p-33)), .y = REAL(FN32(-0x1.6ae1bap4), FN64(-0x1.6ae1b973f58efp4), FN80(-0x1.6ae1b973f58ef1f4p4), FN128(-0x1.6ae1b973f58ef1f4351ab973d78ap4)) },
{ .x = REAL(FN32(0x1.d2188p-32), FN64(0x1.d21880bce9083p-32), FN80(0x1.d21880bce9083048p-32), FN128(0x1.d21880bce9083048d38781f5b5c8p-32)), .y = REAL(FN32(-0x1.594dcep4), FN64(-0x1.594dcef9488bep4), FN80(-0x1.594dcef9488be75cp4), FN128(-0x1.594dcef9488be75ccad9209e8736p4)) },
{ .x = REAL(FN32(0x1.5d926p-30), FN64(0x1.5d92608daec62p-30), FN80(0x1.5d92608daec62436p-30), FN128(0x1.5d92608daec624369ea5a1784856p-30)), .y = REAL(FN32(-0x1.47b9e4p4), FN64(-0x1.47b9e47e9b88ep4), FN80(-0x1.47b9e47e9b88dcc6p4), FN128(-0x1.47b9e47e9b88dcc5609787c936e2p4)) },
{ .x = REAL(FN32(0x1.062dc8p-28), FN64(0x1.062dc86a4314ap-28), FN80(0x1.062dc86a43149b28p-28), FN128(0x1.062dc86a43149b28f6fc391a364p-28)), .y = REAL(FN32(-0x1.3625fap4), FN64(-0x1.3625fa03ee85dp4), FN80(-0x1.3625fa03ee85d22ep4), FN128(-0x1.3625fa03ee85d22df655eef3e68ep4)) },
{ .x = REAL(FN32(0x1.8944acp-27), FN64(0x1.8944ac9f649efp-27), FN80(0x1.8944ac9f649ee8bep-27), FN128(0x1.8944ac9f649ee8bd727a55a75161p-27)), .y = REAL(FN32(-0x1.24921p4), FN64(-0x1.24920f894182cp4), FN80(-0x1.24920f894182c796p4), FN128(-0x1.24920f894182c7968c14561e963bp4)) },
{ .x = REAL(FN32(0x1.26f382p-25), FN64(0x1.26f381778b773p-25), FN80(0x1.26f381778b772e8ep-25), FN128(0x1.26f381778b772e8e15dbc03d7d08p-25)), .y = REAL(FN32(-0x1.12fe26p4), FN64(-0x1.12fe250e947fcp4), FN80(-0x1.12fe250e947fbdp4), FN128(-0x1.12fe250e947fbcff21d2bd4945e7p4)) },
{ .x = REAL(FN32(0x1.ba6d42p-24), FN64(0x1.ba6d42335132cp-24), FN80(0x1.ba6d42335132c5d6p-24), FN128(0x1.ba6d42335132c5d520c9a05c3b8dp-24)), .y = REAL(FN32(-0x1.016a3ap4), FN64(-0x1.016a3a93e77cbp4), FN80(-0x1.016a3a93e77cb268p4), FN128(-0x1.016a3a93e77cb267b7912473f593p4)) },
{ .x = REAL(FN32(0x1.4bd1f2p-22), FN64(0x1.4bd1f1a67ce61p-22), FN80(0x1.4bd1f1a67ce6146p-22), FN128(0x1.4bd1f1a67ce6145fd89738452caap-22)), .y = REAL(FN32(-0x1.dfacap3), FN64(-0x1.dfaca03274f35p3), FN80(-0x1.dfaca03274f34fap3), FN128(-0x1.dfaca03274f34fa09a9f173d4a7fp3)) },
{ .x = REAL(FN32(0x1.f1baeap-21), FN64(0x1.f1baea79bb592p-21), FN80(0x1.f1baea79bb591e9p-21), FN128(0x1.f1baea79bb591e8fc4e2d467c2fep-21)), .y = REAL(FN32(-0x1.bc84ccp3), FN64(-0x1.bc84cb3d1aed4p3), FN80(-0x1.bc84cb3d1aed3a72p3), FN128(-0x1.bc84cb3d1aed3a71c61be592a9d8p3)) },
{ .x = REAL(FN32(0x1.754c3p-19), FN64(0x1.754c2fdb4c82dp-19), FN80(0x1.754c2fdb4c82d6ecp-19), FN128(0x1.754c2fdb4c82d6ebd3aa1f4dd23fp-19)), .y = REAL(FN32(-0x1.995cf6p3), FN64(-0x1.995cf647c0e72p3), FN80(-0x1.995cf647c0e72542p3), FN128(-0x1.995cf647c0e72542f198b3e8093p3)) },
{ .x = REAL(FN32(0x1.17f924p-17), FN64(0x1.17f923e479622p-17), FN80(0x1.17f923e47962213p-17), FN128(0x1.17f923e479622130debf977a5dafp-17)), .y = REAL(FN32(-0x1.763522p3), FN64(-0x1.7635215266e11p3), FN80(-0x1.7635215266e11014p3), FN128(-0x1.7635215266e110141d15823d6889p3)) },
{ .x = REAL(FN32(0x1.a3f5b6p-16), FN64(0x1.a3f5b5d6b6133p-16), FN80(0x1.a3f5b5d6b61331cap-16), FN128(0x1.a3f5b5d6b61331c94e1f63378c87p-16)), .y = REAL(FN32(-0x1.530d4cp3), FN64(-0x1.530d4c5d0cdbp3), FN80(-0x1.530d4c5d0cdafae6p3), FN128(-0x1.530d4c5d0cdafae548925092c7e1p3)) },
{ .x = REAL(FN32(0x1.3af848p-14), FN64(0x1.3af84861088e6p-14), FN80(0x1.3af84861088e6556p-14), FN128(0x1.3af84861088e6556fa978a69a965p-14)), .y = REAL(FN32(-0x1.2fe578p3), FN64(-0x1.2fe57767b2d4ep3), FN80(-0x1.2fe57767b2d4e5b6p3), FN128(-0x1.2fe57767b2d4e5b6740f1ee8273ap3)) },
{ .x = REAL(FN32(0x1.d8746cp-13), FN64(0x1.d8746c918cd5ap-13), FN80(0x1.d8746c918cd59802p-13), FN128(0x1.d8746c918cd5980277e34f9e7e17p-13)), .y = REAL(FN32(-0x1.0cbda2p3), FN64(-0x1.0cbda27258cedp3), FN80(-0x1.0cbda27258ced088p3), FN128(-0x1.0cbda27258ced0879f8bed3d8692p3)) },
{ .x = REAL(FN32(0x1.625752p-11), FN64(0x1.6257516d29a03p-11), FN80(0x1.6257516d29a03202p-11), FN128(0x1.6257516d29a03201d9ea7bb6de92p-11)), .y = REAL(FN32(-0x1.d32b9ap2), FN64(-0x1.d32b9af9fd917p2), FN80(-0x1.d32b9af9fd9176b2p2), FN128(-0x1.d32b9af9fd9176b196117725cbd6p2)) },
{ .x = REAL(FN32(0x1.09c17ep-9), FN64(0x1.09c17d11df382p-9), FN80(0x1.09c17d11df382582p-9), FN128(0x1.09c17d11df382581636fdcc926edp-9)), .y = REAL(FN32(-0x1.8cdbfp2), FN64(-0x1.8cdbf10f49855p2), FN80(-0x1.8cdbf10f49854c54p2), FN128(-0x1.8cdbf10f49854c53ed0b13d08a87p2)) },
{ .x = REAL(FN32(0x1.8ea23cp-8), FN64(0x1.8ea23b9aced44p-8), FN80(0x1.8ea23b9aced43842p-8), FN128(0x1.8ea23b9aced438421527cb2dba64p-8)), .y = REAL(FN32(-0x1.468c48p2), FN64(-0x1.468c472495792p2), FN80(-0x1.468c4724957921f6p2), FN128(-0x1.468c4724957921f64404b07b4938p2)) },
{ .x = REAL(FN32(0x1.2af9acp-6), FN64(0x1.2af9acb41b1f3p-6), FN80(0x1.2af9acb41b1f2a32p-6), FN128(0x1.2af9acb41b1f2a318fddd8624bcbp-6)), .y = REAL(FN32(-0x1.003c9ep2), FN64(-0x1.003c9d39e16cfp2), FN80(-0x1.003c9d39e16cf798p2), FN128(-0x1.003c9d39e16cf7989afe4d2607e9p2)) },
{ .x = REAL(FN32(0x1.c07684p-5), FN64(0x1.c076830e28aecp-5), FN80(0x1.c076830e28aebf4ap-5), FN128(0x1.c076830e28aebf4a57ccc49371bp-5)), .y = REAL(FN32(-0x1.73d9e6p1), FN64(-0x1.73d9e69e5ac1ap1), FN80(-0x1.73d9e69e5ac19a76p1), FN128(-0x1.73d9e69e5ac19a75e3efd3a18d35p1)) },
{ .x = REAL(FN32(0x1.5058e2p-3), FN64(0x1.5058e24a9e831p-3), FN80(0x1.5058e24a9e830f78p-3), FN128(0x1.5058e24a9e830f77c1d9936e9544p-3)), .y = REAL(FN32(-0x1.ce7526p0), FN64(-0x1.ce752591e5529p0), FN80(-0x1.ce752591e5528b74p0), FN128(-0x1.ce752591e5528b7523c619ee152ep0)) },
{ .x = REAL(FN32(0x1.f88554p-2), FN64(0x1.f885536fedc49p-2), FN80(0x1.f885536fedc49734p-2), FN128(0x1.f885536fedc49733a2c65d25dfe6p-2)), .y = REAL(FN32(-0x1.6a6cfcp-1), FN64(-0x1.6a6cfbce2a43dp-1), FN80(-0x1.6a6cfbce2a43c3fcp-1), FN128(-0x1.6a6cfbce2a43c3fcff5919321fe5p-1)) },
{ .x = REAL(FN32(0x1.7a63fep0), FN64(0x1.7a63fe93f2537p0), FN80(0x1.7a63fe93f2537166p0), FN128(0x1.7a63fe93f2537166ba14c5dc67edp0)), .y = REAL(FN32(0x1.9020a6p-2), FN64(0x1.9020a70eec3b2p-2), FN80(0x1.9020a70eec3b1ddep-2), FN128(0x1.9020a70eec3b1de091b402efd525p-2)) },
{ .x = REAL(FN32(0x1.1bcafep2), FN64(0x1.1bcafeeef5be9p2), FN80(0x1.1bcafeeef5be950ep2), FN128(0x1.1bcafeeef5be950d0b8f94654df2p2)), .y = REAL(FN32(0x1.7d46dp0), FN64(0x1.7d46d16e8b3f7p0), FN80(0x1.7d46d16e8b3f70fp0), FN128(0x1.7d46d16e8b3f70eec8868e10fa85p0)) },
{ .x = REAL(FN32(0x1.a9b07ep3), FN64(0x1.a9b07e66709dep3), FN80(0x1.a9b07e66709ddf94p3), FN128(0x1.a9b07e66709ddf9391575e97f4eap3)), .y = REAL(FN32(0x1.4b42bcp1), FN64(0x1.4b42bc8cadb81p1), FN80(0x1.4b42bc8cadb80d32p1), FN128(0x1.4b42bc8cadb80d32b6500db2ffep1)) },
{ .x = REAL(FN32(0x1.3f445ep5), FN64(0x1.3f445eccd4766p5), FN80(0x1.3f445eccd47667aep5), FN128(0x1.3f445eccd47667aead0186f1f7bp5)), .y = REAL(FN32(0x1.d7e21p1), FN64(0x1.d7e2106215d06p1), FN80(0x1.d7e2106215d061eep1), FN128(0x1.d7e2106215d061ee085cd45d827ep1)) },
{ .x = REAL(FN32(0x1.dee68ep6), FN64(0x1.dee68e333eb1ap6), FN80(0x1.dee68e333eb19b86p6), FN128(0x1.dee68e333eb19b8603824a6af388p6)), .y = REAL(FN32(0x1.3240b2p2), FN64(0x1.3240b21bbef46p2), FN80(0x1.3240b21bbef45b54p2), FN128(0x1.3240b21bbef45b54ad34cd84028ep2)) },
{ .x = REAL(FN32(0x1.672ceap8), FN64(0x1.672ceaa66f053p8), FN80(0x1.672ceaa66f0534a4p8), FN128(0x1.672ceaa66f0534a482a1b7d036a6p8)), .y = REAL(FN32(0x1.78905cp2), FN64(0x1.78905c0673008p2), FN80(0x1.78905c06730085b2p2), FN128(0x1.78905c06730085b2563b30d943ddp2)) },
{ .x = REAL(FN32(0x1.0d61bp10), FN64(0x1.0d61affcd343ep10), FN80(0x1.0d61affcd343e77cp10), FN128(0x1.0d61affcd343e77b61f949dc28fcp10)), .y = REAL(FN32(0x1.bee006p2), FN64(0x1.bee005f1270cbp2), FN80(0x1.bee005f1270cb01p2), FN128(0x1.bee005f1270cb00fff41942e852bp2)) },
{ .x = REAL(FN32(0x1.941288p11), FN64(0x1.941287fb3ce5ep11), FN80(0x1.941287fb3ce5db3ap11), FN128(0x1.941287fb3ce5db3912f5eeca3d7ap11)), .y = REAL(FN32(0x1.0297d8p3), FN64(0x1.0297d7eded8c7p3), FN80(0x1.0297d7eded8c6d36p3), FN128(0x1.0297d7eded8c6d36d423fbc1e33dp3)) },
{ .x = REAL(FN32(0x1.2f0de6p13), FN64(0x1.2f0de5fc6dac6p13), FN80(0x1.2f0de5fc6dac646ap13), FN128(0x1.2f0de5fc6dac646ace387317ae1cp13)), .y = REAL(FN32(0x1.25bfacp3), FN64(0x1.25bface347928p3), FN80(0x1.25bface347928266p3), FN128(0x1.25bface347928265a8a72d6c83e5p3)) },
{ .x = REAL(FN32(0x1.c694d8p14), FN64(0x1.c694d8faa4829p14), FN80(0x1.c694d8faa48296ap14), FN128(0x1.c694d8faa48296a03554aca3852ap14)), .y = REAL(FN32(0x1.48e782p3), FN64(0x1.48e781d8a1989p3), FN80(0x1.48e781d8a1989794p3), FN128(0x1.48e781d8a19897947d2a5f17248cp3)) },
{ .x = REAL(FN32(0x1.54efa2p16), FN64(0x1.54efa2bbfb61fp16), FN80(0x1.54efa2bbfb61f0f8p16), FN128(0x1.54efa2bbfb61f0f827ff817aa3dfp16)), .y = REAL(FN32(0x1.6c0f56p3), FN64(0x1.6c0f56cdfb9ebp3), FN80(0x1.6c0f56cdfb9eacc4p3), FN128(0x1.6c0f56cdfb9eacc351ad90c1c533p3)) },
{ .x = REAL(FN32(0x1.ff6774p17), FN64(0x1.ff677419f912fp17), FN80(0x1.ff677419f912e974p17), FN128(0x1.ff677419f912e9743bff4237f5cfp17)), .y = REAL(FN32(0x1.8f372cp3), FN64(0x1.8f372bc355a4cp3), FN80(0x1.8f372bc355a4c1f2p3), FN128(0x1.8f372bc355a4c1f22630c26c65dbp3)) },
{ .x = REAL(FN32(0x1.7f8d98p19), FN64(0x1.7f8d97137ace3p19), FN80(0x1.7f8d97137ace2f18p19), FN128(0x1.7f8d97137ace2f172cff71a9f85bp19)), .y = REAL(FN32(0x1.b25fp3), FN64(0x1.b25f00b8afaadp3), FN80(0x1.b25f00b8afaad722p3), FN128(0x1.b25f00b8afaad720fab3f4170682p3)) },
{ .x = REAL(FN32(0x1.1faa32p21), FN64(0x1.1faa314e9c1aap21), FN80(0x1.1faa314e9c1aa352p21), FN128(0x1.1faa314e9c1aa35161bf953f7a44p21)), .y = REAL(FN32(0x1.d586d6p3), FN64(0x1.d586d5ae09b0fp3), FN80(0x1.d586d5ae09b0ec5p3), FN128(0x1.d586d5ae09b0ec4fcf3725c1a72ap3)) },
{ .x = REAL(FN32(0x1.af7f4ap22), FN64(0x1.af7f49f5ea27fp22), FN80(0x1.af7f49f5ea27f4fap22), FN128(0x1.af7f49f5ea27f4fa129f5fdf3767p22)), .y = REAL(FN32(0x1.f8aeaap3), FN64(0x1.f8aeaaa363b7p3), FN80(0x1.f8aeaaa363b7017ep3), FN128(0x1.f8aeaaa363b7017ea3ba576c47d1p3)) },
{ .x = REAL(FN32(0x1.439f78p24), FN64(0x1.439f77786f9dfp24), FN80(0x1.439f77786f9df7bcp24), FN128(0x1.439f77786f9df7bb8df787e7698dp24)), .y = REAL(FN32(0x1.0deb4p4), FN64(0x1.0deb3fcc5ede9p4), FN80(0x1.0deb3fcc5ede8b56p4), FN128(0x1.0deb3fcc5ede8b56bc1ec48b743cp4)) },
{ .x = REAL(FN32(0x1.e56f34p25), FN64(0x1.e56f3334a76cfp25), FN80(0x1.e56f3334a76cf39ap25), FN128(0x1.e56f3334a76cf39954f34bdb1e53p25)), .y = REAL(FN32(0x1.1f7f2ap4), FN64(0x1.1f7f2a470be19p4), FN80(0x1.1f7f2a470be195eep4), FN128(0x1.1f7f2a470be195ee26605d60c49p4)) },
{ .x = REAL(FN32(0x1.6c1366p27), FN64(0x1.6c1366677d91bp27), FN80(0x1.6c1366677d91b6b2p27), FN128(0x1.6c1366677d91b6b2ffb678e456bfp27)), .y = REAL(FN32(0x1.311314p4), FN64(0x1.311314c1b8e4ap4), FN80(0x1.311314c1b8e4a086p4), FN128(0x1.311314c1b8e4a08590a1f63614e4p4)) },
{ .x = REAL(FN32(0x1.110e8cp29), FN64(0x1.110e8ccd9e2d5p29), FN80(0x1.110e8ccd9e2d4906p29), FN128(0x1.110e8ccd9e2d49063fc8daab410fp29)), .y = REAL(FN32(0x1.42a7p4), FN64(0x1.42a6ff3c65e7bp4), FN80(0x1.42a6ff3c65e7ab1cp4), FN128(0x1.42a6ff3c65e7ab1cfae38f0b6537p4)) },
{ .x = REAL(FN32(0x1.9995d4p30), FN64(0x1.9995d3346d43fp30), FN80(0x1.9995d3346d43ed8ap30), FN128(0x1.9995d3346d43ed895fad4800e196p30)), .y = REAL(FN32(0x1.543aeap4), FN64(0x1.543ae9b712eabp4), FN80(0x1.543ae9b712eab5b4p4), FN128(0x1.543ae9b712eab5b4652527e0b58bp4)) },
{ .x = REAL(FN32(0x1.33305ep32), FN64(0x1.33305e6751f2fp32), FN80(0x1.33305e6751f2f228p32), FN128(0x1.33305e6751f2f22707c1f600a931p32)), .y = REAL(FN32(0x1.65ced4p4), FN64(0x1.65ced431bfedcp4), FN80(0x1.65ced431bfedc04cp4), FN128(0x1.65ced431bfedc04bcf66c0b605dfp4)) },
{ .x = REAL(FN32(0x1.ccc88ep33), FN64(0x1.ccc88d9afaec7p33), FN80(0x1.ccc88d9afaec6b3ap33), FN128(0x1.ccc88d9afaec6b3a8ba2f100fdc9p33)), .y = REAL(FN32(0x1.7762bep4), FN64(0x1.7762beac6cf0dp4), FN80(0x1.7762beac6cf0cae4p4), FN128(0x1.7762beac6cf0cae339a8598b5633p4)) },
{ .x = REAL(FN32(0x1.59966ap35), FN64(0x1.59966a343c315p35), FN80(0x1.59966a343c31506cp35), FN128(0x1.59966a343c31506be8ba34c0be57p35)), .y = REAL(FN32(0x1.88f6aap4), FN64(0x1.88f6a92719f3dp4), FN80(0x1.88f6a92719f3d57ap4), FN128(0x1.88f6a92719f3d57aa3e9f260a686p4)) },
{ .x = REAL(FN32(0x1.0330dp37), FN64(0x1.0330cfa72d25p37), FN80(0x1.0330cfa72d24fc5p37), FN128(0x1.0330cfa72d24fc50ee8ba7908ec1p37)), .y = REAL(FN32(0x1.9a8a94p4), FN64(0x1.9a8a93a1c6f6ep4), FN80(0x1.9a8a93a1c6f6e012p4), FN128(0x1.9a8a93a1c6f6e0120e2b8b35f6dap4)) },
{ .x = REAL(FN32(0x1.84c938p38), FN64(0x1.84c9377ac3b78p38), FN80(0x1.84c9377ac3b77a7ap38), FN128(0x1.84c9377ac3b77a7965d17b58d622p38)), .y = REAL(FN32(0x1.ac1e7ep4), FN64(0x1.ac1e7e1c73f9fp4), FN80(0x1.ac1e7e1c73f9eaaap4), FN128(0x1.ac1e7e1c73f9eaa9786d240b472ep4)) },
{ .x = REAL(FN32(0x1.2396eap40), FN64(0x1.2396e99c12c9ap40), FN80(0x1.2396e99c12c99bdcp40), FN128(0x1.2396e99c12c99bdb0c5d1c82a099p40)), .y = REAL(FN32(0x1.bdb268p4), FN64(0x1.bdb2689720fcfp4), FN80(0x1.bdb2689720fcf54p4), FN128(0x1.bdb2689720fcf540e2aebce09781p4)) },
{ .x = REAL(FN32(0x1.b5625ep41), FN64(0x1.b5625e6a1c2e7p41), FN80(0x1.b5625e6a1c2e69c8p41), FN128(0x1.b5625e6a1c2e69c8928baac3f0e6p41)), .y = REAL(FN32(0x1.cf4654p4), FN64(0x1.cf465311cep4), FN80(0x1.cf465311cdffffd8p4), FN128(0x1.cf465311cdffffd84cf055b5e7d5p4)) },
{ .x = REAL(FN32(0x1.4809c6p43), FN64(0x1.4809c6cf9522dp43), FN80(0x1.4809c6cf9522cf56p43), FN128(0x1.4809c6cf9522cf566de8c012f4acp43)), .y = REAL(FN32(0x1.e0da3ep4), FN64(0x1.e0da3d8c7b031p4), FN80(0x1.e0da3d8c7b030a7p4), FN128(0x1.e0da3d8c7b030a6fb731ee8b3829p4)) },
{ .x = REAL(FN32(0x1.ec0eaap44), FN64(0x1.ec0eaa375fb43p44), FN80(0x1.ec0eaa375fb43702p44), FN128(0x1.ec0eaa375fb43701a4dd201c6f03p44)), .y = REAL(FN32(0x1.f26e28p4), FN64(0x1.f26e280728061p4), FN80(0x1.f26e280728061508p4), FN128(0x1.f26e28072806150721738760887dp4)) },
{ .x = REAL(FN32(0x1.710bp46), FN64(0x1.710affa987c73p46), FN80(0x1.710affa987c72942p46), FN128(0x1.710affa987c729413ba5d8155342p46)), .y = REAL(FN32(0x1.02010ap5), FN64(0x1.02010940ea849p5), FN80(0x1.02010940ea848fdp5), FN128(0x1.02010940ea848fcf45da901aec68p5)) },
{ .x = REAL(FN32(0x1.14c84p48), FN64(0x1.14c83fbf25d56p48), FN80(0x1.14c83fbf25d55efp48), FN128(0x1.14c83fbf25d55ef0ecbc620ffe72p48)), .y = REAL(FN32(0x1.0acafep5), FN64(0x1.0acafe7e41061p5), FN80(0x1.0acafe7e4106151ap5), FN128(0x1.0acafe7e4106151afafb5c859492p5)) },
{ .x = REAL(FN32(0x1.9f2c6p49), FN64(0x1.9f2c5f9eb8c01p49), FN80(0x1.9f2c5f9eb8c00e6ap49), FN128(0x1.9f2c5f9eb8c00e69631a9317fdaap49)), .y = REAL(FN32(0x1.1394f4p5), FN64(0x1.1394f3bb9787ap5), FN80(0x1.1394f3bb97879a66p5), FN128(0x1.1394f3bb97879a66b01c28f03cbcp5)) },
{ .x = REAL(FN32(0x1.376148p51), FN64(0x1.376147b70a901p51), FN80(0x1.376147b70a900adp51), FN128(0x1.376147b70a900acf0a53ee51fe4p51)), .y = REAL(FN32(0x1.1c5ee8p5), FN64(0x1.1c5ee8f8ee092p5), FN80(0x1.1c5ee8f8ee091fb2p5), FN128(0x1.1c5ee8f8ee091fb2653cf55ae4e6p5)) },
{ .x = REAL(FN32(0x1.d311ecp52), FN64(0x1.d311eb928fd81p52), FN80(0x1.d311eb928fd81036p52), FN128(0x1.d311eb928fd810368f7de57afd6p52)), .y = REAL(FN32(0x1.2528dep5), FN64(0x1.2528de36448aap5), FN80(0x1.2528de36448aa4fep5), FN128(0x1.2528de36448aa4fe1a5dc1c58d1p5)) },
{ .x = REAL(FN32(0x1.5e4d7p54), FN64(0x1.5e4d70adebe21p54), FN80(0x1.5e4d70adebe20c28p54), FN128(0x1.5e4d70adebe20c28eb9e6c1c3e08p54)), .y = REAL(FN32(0x1.2df2d4p5), FN64(0x1.2df2d3739b0c3p5), FN80(0x1.2df2d3739b0c2a4ap5), FN128(0x1.2df2d3739b0c2a49cf7e8e303539p5)) },
{ .x = REAL(FN32(0x1.06ba14p56), FN64(0x1.06ba148270e99p56), FN80(0x1.06ba148270e9891ep56), FN128(0x1.06ba148270e9891eb0b6d1152e86p56)), .y = REAL(FN32(0x1.36bcc8p5), FN64(0x1.36bcc8b0f18dbp5), FN80(0x1.36bcc8b0f18daf96p5), FN128(0x1.36bcc8b0f18daf95849f5a9add63p5)) },
{ .x = REAL(FN32(0x1.8a171ep57), FN64(0x1.8a171ec3a95e5p57), FN80(0x1.8a171ec3a95e4daep57), FN128(0x1.8a171ec3a95e4dae0912399fc5c9p57)), .y = REAL(FN32(0x1.3f86bep5), FN64(0x1.3f86bdee480f3p5), FN80(0x1.3f86bdee480f34e2p5), FN128(0x1.3f86bdee480f34e139c02705858dp5)) },
{ .x = REAL(FN32(0x1.279158p59), FN64(0x1.27915712bf06cp59), FN80(0x1.27915712bf06ba42p59), FN128(0x1.27915712bf06ba4286cdab37d456p59)), .y = REAL(FN32(0x1.4850b4p5), FN64(0x1.4850b32b9e90cp5), FN80(0x1.4850b32b9e90ba2cp5), FN128(0x1.4850b32b9e90ba2ceee0f3702db7p5)) },
{ .x = REAL(FN32(0x1.bb5a02p60), FN64(0x1.bb5a029c1e8a1p60), FN80(0x1.bb5a029c1e8a1764p60), FN128(0x1.bb5a029c1e8a1763ca3480d3be82p60)), .y = REAL(FN32(0x1.511aa8p5), FN64(0x1.511aa868f5124p5), FN80(0x1.511aa868f5123f78p5), FN128(0x1.511aa868f5123f78a401bfdad5e1p5)) },
{ .x = REAL(FN32(0x1.4c8382p62), FN64(0x1.4c8381f516e79p62), FN80(0x1.4c8381f516e7918ap62), FN128(0x1.4c8381f516e7918ad7a7609ecee1p62)), .y = REAL(FN32(0x1.59e49ep5), FN64(0x1.59e49da64b93cp5), FN80(0x1.59e49da64b93c4c4p5), FN128(0x1.59e49da64b93c4c459228c457e0bp5)) },
{ .x = REAL(FN32(0x1.f2c542p63), FN64(0x1.f2c542efa25b6p63), FN80(0x1.f2c542efa25b5a5p63), FN128(0x1.f2c542efa25b5a50437b10ee3652p63)), .y = REAL(FN32(0x1.62ae92p5), FN64(0x1.62ae92e3a2155p5), FN80(0x1.62ae92e3a2154a1p5), FN128(0x1.62ae92e3a2154a100e4358b02635p5)) },
{ .x = REAL(FN32(0x1.7613f2p65), FN64(0x1.7613f233b9c48p65), FN80(0x1.7613f233b9c483bcp65), FN128(0x1.7613f233b9c483bc329c4cb2a8bdp65)), .y = REAL(FN32(0x1.6b7888p5), FN64(0x1.6b788820f896dp5), FN80(0x1.6b788820f896cf5cp5), FN128(0x1.6b788820f896cf5bc364251ace5ep5)) },
{ .x = REAL(FN32(0x1.188ef6p67), FN64(0x1.188ef5a6cb536p67), FN80(0x1.188ef5a6cb5362cep67), FN128(0x1.188ef5a6cb5362cd25f53985fe8ep67)), .y = REAL(FN32(0x1.74427ep5), FN64(0x1.74427d5e4f185p5), FN80(0x1.74427d5e4f1854a8p5), FN128(0x1.74427d5e4f1854a77884f1857688p5)) },
{ .x = REAL(FN32(0x1.a4d67p68), FN64(0x1.a4d6707a30fd1p68), FN80(0x1.a4d6707a30fd1434p68), FN128(0x1.a4d6707a30fd1433b8efd648fdd5p68)), .y = REAL(FN32(0x1.7d0c72p5), FN64(0x1.7d0c729ba599ep5), FN80(0x1.7d0c729ba599d9f4p5), FN128(0x1.7d0c729ba599d9f32da5bdf01eb2p5)) },
{ .x = REAL(FN32(0x1.3ba0d4p70), FN64(0x1.3ba0d45ba4bddp70), FN80(0x1.3ba0d45ba4bdcf26p70), FN128(0x1.3ba0d45ba4bdcf26cab3e0b6be6p70)), .y = REAL(FN32(0x1.85d668p5), FN64(0x1.85d667d8fc1b6p5), FN80(0x1.85d667d8fc1b5f3ep5), FN128(0x1.85d667d8fc1b5f3ee2c68a5ac6dcp5)) },
{ .x = REAL(FN32(0x1.d9713ep71), FN64(0x1.d9713e89771cbp71), FN80(0x1.d9713e89771cb6bap71), FN128(0x1.d9713e89771cb6ba300dd1121d9p71)), .y = REAL(FN32(0x1.8ea05ep5), FN64(0x1.8ea05d16529cep5), FN80(0x1.8ea05d16529ce48ap5), FN128(0x1.8ea05d16529ce48a97e756c56f06p5)) },
{ .x = REAL(FN32(0x1.6314eep73), FN64(0x1.6314eee719559p73), FN80(0x1.6314eee71955890cp73), FN128(0x1.6314eee71955890ba40a5ccd962cp73)), .y = REAL(FN32(0x1.976a52p5), FN64(0x1.976a5253a91e7p5), FN80(0x1.976a5253a91e69d6p5), FN128(0x1.976a5253a91e69d64d082330173p5)) },
{ .x = REAL(FN32(0x1.0a4fb4p75), FN64(0x1.0a4fb32d53002p75), FN80(0x1.0a4fb32d530026c8p75), FN128(0x1.0a4fb32d530026c8bb07c59a30a1p75)), .y = REAL(FN32(0x1.a03448p5), FN64(0x1.a0344790ff9ffp5), FN80(0x1.a0344790ff9fef22p5), FN128(0x1.a0344790ff9fef220228ef9abf5ap5)) },
{ .x = REAL(FN32(0x1.8f778cp76), FN64(0x1.8f778cc3fc804p76), FN80(0x1.8f778cc3fc803a2ep76), FN128(0x1.8f778cc3fc803a2d188ba86748f1p76)), .y = REAL(FN32(0x1.a8fe3cp5), FN64(0x1.a8fe3cce56217p5), FN80(0x1.a8fe3cce5621746ep5), FN128(0x1.a8fe3cce5621746db749bc056784p5)) },
{ .x = REAL(FN32(0x1.2b99aap78), FN64(0x1.2b99a992fd603p78), FN80(0x1.2b99a992fd602ba2p78), FN128(0x1.2b99a992fd602ba1d268be4d76b5p78)), .y = REAL(FN32(0x1.b1c832p5), FN64(0x1.b1c8320baca3p5), FN80(0x1.b1c8320baca2f9bap5), FN128(0x1.b1c8320baca2f9b96c6a88700fadp5)) },
{ .x = REAL(FN32(0x1.c1667ep79), FN64(0x1.c1667e5c7c104p79), FN80(0x1.c1667e5c7c104172p79), FN128(0x1.c1667e5c7c104172bb9d1d74320fp79)), .y = REAL(FN32(0x1.ba9228p5), FN64(0x1.ba92274903248p5), FN80(0x1.ba92274903247f06p5), FN128(0x1.ba92274903247f05218b54dab7d7p5)) },
{ .x = REAL(FN32(0x1.510cdep81), FN64(0x1.510cdec55d0c3p81), FN80(0x1.510cdec55d0c3116p81), FN128(0x1.510cdec55d0c31160cb5d617258cp81)), .y = REAL(FN32(0x1.c35c1cp5), FN64(0x1.c35c1c8659a6p5), FN80(0x1.c35c1c8659a6045p5), FN128(0x1.c35c1c8659a60450d6ac21456001p5)) },
{ .x = REAL(FN32(0x1.f9934ep82), FN64(0x1.f9934e280b925p82), FN80(0x1.f9934e280b9249a2p82), FN128(0x1.f9934e280b9249a11310c122b851p82)), .y = REAL(FN32(0x1.cc2612p5), FN64(0x1.cc2611c3b0279p5), FN80(0x1.cc2611c3b027899cp5), FN128(0x1.cc2611c3b027899c8bccedb0082bp5)) },
{ .x = REAL(FN32(0x1.7b2e7ap84), FN64(0x1.7b2e7a9e08adbp84), FN80(0x1.7b2e7a9e08adb738p84), FN128(0x1.7b2e7a9e08adb738ce4c90da0a3dp84)), .y = REAL(FN32(0x1.d4f006p5), FN64(0x1.d4f0070106a91p5), FN80(0x1.d4f0070106a90ee8p5), FN128(0x1.d4f0070106a90ee840edba1ab055p5)) },
{ .x = REAL(FN32(0x1.1c62dcp86), FN64(0x1.1c62dbf686825p86), FN80(0x1.1c62dbf68682496ap86), FN128(0x1.1c62dbf68682496a9ab96ca387aep86)), .y = REAL(FN32(0x1.ddb9fcp5), FN64(0x1.ddb9fc3e5d2a9p5), FN80(0x1.ddb9fc3e5d2a9434p5), FN128(0x1.ddb9fc3e5d2a9433f60e8685587fp5)) },
{ .x = REAL(FN32(0x1.aa944ap87), FN64(0x1.aa9449f1c9c37p87), FN80(0x1.aa9449f1c9c36e2p87), FN128(0x1.aa9449f1c9c36e1fe81622f54b85p87)), .y = REAL(FN32(0x1.e683f2p5), FN64(0x1.e683f17bb3ac2p5), FN80(0x1.e683f17bb3ac198p5), FN128(0x1.e683f17bb3ac197fab2f52f000a9p5)) },
{ .x = REAL(FN32(0x1.3fef38p89), FN64(0x1.3fef377557529p89), FN80(0x1.3fef377557529298p89), FN128(0x1.3fef377557529297ee109a37f8a3p89)), .y = REAL(FN32(0x1.ef4de6p5), FN64(0x1.ef4de6b90a2dap5), FN80(0x1.ef4de6b90a2d9eccp5), FN128(0x1.ef4de6b90a2d9ecb60501f5aa8d2p5)) },
{ .x = REAL(FN32(0x1.dfe6d4p90), FN64(0x1.dfe6d33002fbep90), FN80(0x1.dfe6d33002fbdbe4p90), FN128(0x1.dfe6d33002fbdbe3e518e753f4f5p90)), .y = REAL(FN32(0x1.f817dcp5), FN64(0x1.f817dbf660af2p5), FN80(0x1.f817dbf660af2418p5), FN128(0x1.f817dbf660af24171570ebc550fcp5)) },
{ .x = REAL(FN32(0x1.67ed1ep92), FN64(0x1.67ed1e64023cep92), FN80(0x1.67ed1e64023ce4eap92), FN128(0x1.67ed1e64023ce4eaebd2ad7ef7b8p92)), .y = REAL(FN32(0x1.0070e8p6), FN64(0x1.0070e899db985p6), FN80(0x1.0070e899db9854b2p6), FN128(0x1.0070e899db9854b16548dc17fc93p6)) },
{ .x = REAL(FN32(0x1.0df1d6p94), FN64(0x1.0df1d6cb01adbp94), FN80(0x1.0df1d6cb01adabbp94), FN128(0x1.0df1d6cb01adabb030de021f39cap94)), .y = REAL(FN32(0x1.04d5e4p6), FN64(0x1.04d5e33886d91p6), FN80(0x1.04d5e33886d91758p6), FN128(0x1.04d5e33886d917573fd9424d50a8p6)) },
{ .x = REAL(FN32(0x1.94eac2p95), FN64(0x1.94eac23082848p95), FN80(0x1.94eac23082848188p95), FN128(0x1.94eac23082848188494d032ed6afp95)), .y = REAL(FN32(0x1.093adep6), FN64(0x1.093addd73219ep6), FN80(0x1.093addd73219d9fep6), FN128(0x1.093addd73219d9fd1a69a882a4bdp6)) },
{ .x = REAL(FN32(0x1.2fb012p97), FN64(0x1.2fb011a461e36p97), FN80(0x1.2fb011a461e36126p97), FN128(0x1.2fb011a461e3612636f9c2632103p97)), .y = REAL(FN32(0x1.0d9fd8p6), FN64(0x1.0d9fd875dd5aap6), FN80(0x1.0d9fd875dd5a9ca2p6), FN128(0x1.0d9fd875dd5a9ca2f4fa0eb7f8d2p6)) },
{ .x = REAL(FN32(0x1.c7881ap98), FN64(0x1.c7881a7692d51p98), FN80(0x1.c7881a7692d511bap98), FN128(0x1.c7881a7692d511b95276a394b185p98)), .y = REAL(FN32(0x1.1204d4p6), FN64(0x1.1204d314889b6p6), FN80(0x1.1204d314889b5f48p6), FN128(0x1.1204d314889b5f48cf8a74ed4ce7p6)) },
{ .x = REAL(FN32(0x1.55a614p100), FN64(0x1.55a613d8ee1fdp100), FN80(0x1.55a613d8ee1fcd4ap100), FN128(0x1.55a613d8ee1fcd4afdd8faaf8524p100)), .y = REAL(FN32(0x1.1669cep6), FN64(0x1.1669cdb333dc2p6), FN80(0x1.1669cdb333dc21eep6), FN128(0x1.1669cdb333dc21eeaa1adb22a0fcp6)) },
{ .x = REAL(FN32(0x1.003c8ep102), FN64(0x1.003c8ee2b297ep102), FN80(0x1.003c8ee2b297d9f8p102), FN128(0x1.003c8ee2b297d9f83e62bc03a3dbp102)), .y = REAL(FN32(0x1.1acec8p6), FN64(0x1.1acec851df1cep6), FN80(0x1.1acec851df1ce494p6), FN128(0x1.1acec851df1ce49484ab4157f511p6)) },
{ .x = REAL(FN32(0x1.805ad6p103), FN64(0x1.805ad6540be3cp103), FN80(0x1.805ad6540be3c6f4p103), FN128(0x1.805ad6540be3c6f45d941a0575c8p103)), .y = REAL(FN32(0x1.1f33c2p6), FN64(0x1.1f33c2f08a5dap6), FN80(0x1.1f33c2f08a5da73ap6), FN128(0x1.1f33c2f08a5da73a5f3ba78d4926p6)) },
{ .x = REAL(FN32(0x1.20442p105), FN64(0x1.204420bf08eadp105), FN80(0x1.204420bf08ead538p105), FN128(0x1.204420bf08ead537462f13841856p105)), .y = REAL(FN32(0x1.2398bep6), FN64(0x1.2398bd8f359e7p6), FN80(0x1.2398bd8f359e69ep6), FN128(0x1.2398bd8f359e69e039cc0dc29d3ap6)) },
{ .x = REAL(FN32(0x1.b06632p106), FN64(0x1.b066311e8d604p106), FN80(0x1.b066311e8d603fd2p106), FN128(0x1.b066311e8d603fd2e9469d462481p106)), .y = REAL(FN32(0x1.27fdb8p6), FN64(0x1.27fdb82de0df3p6), FN80(0x1.27fdb82de0df2c86p6), FN128(0x1.27fdb82de0df2c86145c73f7f14fp6)) },
{ .x = REAL(FN32(0x1.444ca4p108), FN64(0x1.444ca4d6ea083p108), FN80(0x1.444ca4d6ea082fdep108), FN128(0x1.444ca4d6ea082fde2ef4f5f49b61p108)), .y = REAL(FN32(0x1.2c62b2p6), FN64(0x1.2c62b2cc8c1ffp6), FN80(0x1.2c62b2cc8c1fef2cp6), FN128(0x1.2c62b2cc8c1fef2beeecda2d4564p6)) },
{ .x = REAL(FN32(0x1.e672f8p109), FN64(0x1.e672f7425f0c4p109), FN80(0x1.e672f7425f0c47cep109), FN128(0x1.e672f7425f0c47cd466f70eee911p109)), .y = REAL(FN32(0x1.30c7aep6), FN64(0x1.30c7ad6b3760bp6), FN80(0x1.30c7ad6b3760b1d2p6), FN128(0x1.30c7ad6b3760b1d1c97d40629979p6)) },
{ .x = REAL(FN32(0x1.6cd63ap111), FN64(0x1.6cd63971c7493p111), FN80(0x1.6cd63971c74935dap111), FN128(0x1.6cd63971c74935d9f4d394b32ecdp111)), .y = REAL(FN32(0x1.352ca8p6), FN64(0x1.352ca809e2a17p6), FN80(0x1.352ca809e2a17478p6), FN128(0x1.352ca809e2a17477a40da697ed8ep6)) },
{ .x = REAL(FN32(0x1.11a0acp113), FN64(0x1.11a0ab155576fp113), FN80(0x1.11a0ab155576e864p113), FN128(0x1.11a0ab155576e863779eaf86631ap113)), .y = REAL(FN32(0x1.3991a2p6), FN64(0x1.3991a2a88de23p6), FN80(0x1.3991a2a88de2371ep6), FN128(0x1.3991a2a88de2371d7e9e0ccd41a3p6)) },
{ .x = REAL(FN32(0x1.9a71p114), FN64(0x1.9a7100a000326p114), FN80(0x1.9a7100a000325c96p114), FN128(0x1.9a7100a000325c95336e074994a6p114)), .y = REAL(FN32(0x1.3df69ep6), FN64(0x1.3df69d473923p6), FN80(0x1.3df69d473922f9c4p6), FN128(0x1.3df69d473922f9c3592e730295b8p6)) },
{ .x = REAL(FN32(0x1.33d4cp116), FN64(0x1.33d4c0780025cp116), FN80(0x1.33d4c0780025c57p116), FN128(0x1.33d4c0780025c56fe69285772f7dp116)), .y = REAL(FN32(0x1.425b98p6), FN64(0x1.425b97e5e463cp6), FN80(0x1.425b97e5e463bc6ap6), FN128(0x1.425b97e5e463bc6933bed937e9cdp6)) },
{ .x = REAL(FN32(0x1.cdbf2p117), FN64(0x1.cdbf20b40038bp117), FN80(0x1.cdbf20b40038a828p117), FN128(0x1.cdbf20b40038a827d9dbc832c73bp117)), .y = REAL(FN32(0x1.46c092p6), FN64(0x1.46c092848fa48p6), FN80(0x1.46c092848fa47f1p6), FN128(0x1.46c092848fa47f0f0e4f3f6d3de2p6)) },
{ .x = REAL(FN32(0x1.5a4f58p119), FN64(0x1.5a4f5887002a8p119), FN80(0x1.5a4f5887002a7e1ep119), FN128(0x1.5a4f5887002a7e1de364d626156cp119)), .y = REAL(FN32(0x1.4b258ep6), FN64(0x1.4b258d233ae54p6), FN80(0x1.4b258d233ae541b4p6), FN128(0x1.4b258d233ae541b4e8dfa5a291f7p6)) },
{ .x = REAL(FN32(0x1.03bb82p121), FN64(0x1.03bb8265401fep121), FN80(0x1.03bb8265401fde96p121), FN128(0x1.03bb8265401fde966a8ba09c9011p121)), .y = REAL(FN32(0x1.4f8a88p6), FN64(0x1.4f8a87c1e626p6), FN80(0x1.4f8a87c1e626045ap6), FN128(0x1.4f8a87c1e626045ac3700bd7e60cp6)) },
{ .x = REAL(FN32(0x1.859944p122), FN64(0x1.85994397e02fdp122), FN80(0x1.85994397e02fcde2p122), FN128(0x1.85994397e02fcde19fd170ead81ap122)), .y = REAL(FN32(0x1.53ef82p6), FN64(0x1.53ef82609166cp6), FN80(0x1.53ef82609166c7p6), FN128(0x1.53ef82609166c7009e00720d3a21p6)) },
{ .x = REAL(FN32(0x1.2432f2p124), FN64(0x1.2432f2b1e823ep124), FN80(0x1.2432f2b1e823da6ap124), FN128(0x1.2432f2b1e823da6937dd14b02214p124)), .y = REAL(FN32(0x1.58547cp6), FN64(0x1.58547cff3ca79p6), FN80(0x1.58547cff3ca789a6p6), FN128(0x1.58547cff3ca789a67890d8428e36p6)) },
{ .x = REAL(FN32(0x1.b64c6cp125), FN64(0x1.b64c6c0adc35cp125), FN80(0x1.b64c6c0adc35c79ep125), FN128(0x1.b64c6c0adc35c79dd3cb9f08331dp125)), .y = REAL(FN32(0x1.5cb978p6), FN64(0x1.5cb9779de7e85p6), FN80(0x1.5cb9779de7e84c4cp6), FN128(0x1.5cb9779de7e84c4c53213e77e24bp6)) },
/*
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright © 2025 Keith Packard
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above
 *    copyright notice, this list of conditions and the following
 *    disclaimer in the documentation and/or other materials provided
 *    with the distribution.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */
